Abstract logic

Results: 1693



#Item
381

An Abstract Interpretation Framework for Semantics and Diagnosis of Functional Logic Programs Giovanni Bacci supervisor: Marco Comini Dipartimento di Matematica e Informatica

Add to Reading List

Source URL: people.cs.aau.dk

- Date: 2013-03-04 04:28:21
    382

    Abstract Diagnosis of First Order Functional Logic Programs Giovanni Bacci and Marco Comini Dipartimento di Matematica e Informatica University of Udine

    Add to Reading List

    Source URL: people.cs.aau.dk

    Language: English - Date: 2013-03-04 02:22:37
      383

      On the definition of the classical connectives and quantifiers Gilles Dowek∗ Abstract Classical logic is embedded into constructive logic, through a definition

      Add to Reading List

      Source URL: who.rocq.inria.fr

      Language: English - Date: 2015-02-05 02:14:49
        384

        Continuity and Geometric Logic Steven Vickers1 School of Computer Science, University of Birmingham, Birmingham, B15 2TT. Abstract

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2013-07-16 13:15:11
          385

          Domain Independent Propagation Thierry Le Provost and Mark Wallace Abstract Recent years have seen the emergence of two main approaches to integrating constraints into logic programming. The CLP Scheme introduces

          Add to Reading List

          Source URL: eclipseclp.org

          Language: English - Date: 2015-04-07 08:54:20
            386

            Abstract Diagnosis of First Order Functional Logic Programs Giovanni Bacci Marco Comini

            Add to Reading List

            Source URL: people.cs.aau.dk

            Language: English - Date: 2013-03-04 04:15:37
              387

              New Classes of Reversible Butterfly Diagrams and their Quantum Circuits Anas N. Al-Rabadi Portland State University ABSTRACT Novel realizations of reversible logic transforms

              Add to Reading List

              Source URL: ticsp.cs.tut.fi

              Language: English - Date: 2008-04-01 15:00:54
                388

                Logic and Computational Complexity 2012 INVITED SPEAKER: Etienne Grandjean TITLE: An invitation to linear time complexity ABSTRACT: The polynomial time class (PTIME) is one of the most fundamental complexity classes, gen

                Add to Reading List

                Source URL: ptmat.fc.ul.pt

                Language: English - Date: 2012-06-20 17:07:09
                  389

                  Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

                  Add to Reading List

                  Source URL: www.paultaylor.eu

                  Language: English - Date: 2011-04-11 06:46:45
                    390

                    Description Logic Rules⋆ Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler Universität Karlsruhe (TH), Germany, email: [mak|sru|phi]@aifb.uni-karlsruhe.de Abstract. We introduce description logic (DL) rules as a

                    Add to Reading List

                    Source URL: korrekt.org

                    Language: English - Date: 2012-03-20 09:42:08
                      UPDATE